bool_tactics_1 9,38
========================= TACTICS USED IN `ASSERT' =========================================

origin